(= (* 2 (- 4)) (- 8))
